#include <stdint.h>
#include "start.h"

uint8_t system_stack_start[SYSTEM_STACK] __attribute__((aligned(8)));
uint8_t irq_stack_start[IRQ_STACK] __attribute__((aligned(8)));
uint8_t svc_stack_start[SVC_STACK] __attribute__((aligned(8)));
uint8_t fiq_stack_start[FIQ_STACK] __attribute__((aligned(8)));
uint8_t bad_stack_start[BAD_STACK] __attribute__((aligned(8)));
